[next] [prev] [prev-tail] [tail] [up]

2.2.8 Integrals 701 to 800

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 125 2236 0 891 0 158 1428

N.S.

1 1.00 0.87 15.53 0.00 6.19 0.00 1.10 9.92

time (sec)

N/A 0.154 0.239 0.135 0.000 3.242 0.000 0.646 0.735

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 145 2302 0 901 0 0 -1

N.S.

1 1.00 1.12 17.71 0.00 6.93 0.00 0.00 -0.01

time (sec)

N/A 0.121 0.383 0.129 0.000 2.382 0.000 0.000 0.000

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 88 361 0 390 0 105 100

N.S.

1 1.00 0.88 3.61 0.00 3.90 0.00 1.05 1.00

time (sec)

N/A 0.077 0.176 0.096 0.000 1.096 0.000 0.812 0.385

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 69 318 0 306 0 64 57

N.S.

1 1.00 1.01 4.68 0.00 4.50 0.00 0.94 0.84

time (sec)

N/A 0.045 0.080 0.102 0.000 1.156 0.000 0.678 0.368

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 48 300 0 231 36 39 39

N.S.

1 1.00 0.98 6.12 0.00 4.71 0.73 0.80 0.80

time (sec)

N/A 0.030 0.040 0.090 0.000 1.247 2.567 0.694 0.367

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 78 331 0 603 63 70 651

N.S.

1 1.00 0.98 4.14 0.00 7.54 0.79 0.88 8.14

time (sec)

N/A 0.053 0.114 0.096 0.000 1.797 4.888 1.019 0.498

Problem 707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 109 384 0 734 0 103 396

N.S.

1 1.00 0.95 3.34 0.00 6.38 0.00 0.90 3.44

time (sec)

N/A 0.083 0.236 0.120 0.000 1.347 0.000 0.981 0.632

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 130 385 0 717 0 0 -1

N.S.

1 1.00 1.14 3.38 0.00 6.29 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.309 0.126 0.000 1.430 0.000 0.000 0.000

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 102 337 0 616 0 0 -1

N.S.

1 1.00 1.24 4.11 0.00 7.51 0.00 0.00 -0.01

time (sec)

N/A 0.044 0.164 0.100 0.000 1.237 0.000 0.000 0.000

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 70 306 0 241 0 70 -1

N.S.

1 1.00 1.43 6.24 0.00 4.92 0.00 1.43 -0.02

time (sec)

N/A 0.014 0.005 0.087 0.000 1.844 0.000 0.874 0.000

Problem 711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 93 334 0 324 0 111 -1

N.S.

1 1.00 1.26 4.51 0.00 4.38 0.00 1.50 -0.01

time (sec)

N/A 0.038 0.161 0.102 0.000 1.089 0.000 0.893 0.000

Problem 712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 117 378 0 414 0 195 -1

N.S.

1 1.00 1.06 3.44 0.00 3.76 0.00 1.77 -0.01

time (sec)

N/A 0.086 0.272 0.110 0.000 1.993 0.000 1.864 0.000

Problem 713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 132 804 0 977 0 0 -1

N.S.

1 1.00 1.21 7.38 0.00 8.96 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.346 0.093 0.000 1.626 0.000 0.000 0.000

Problem 714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 76 746 0 428 0 78 64

N.S.

1 1.00 0.99 9.69 0.00 5.56 0.00 1.01 0.83

time (sec)

N/A 0.052 0.134 0.094 0.000 1.476 0.000 1.339 0.426

Problem 715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 93 758 0 334 0 103 -1

N.S.

1 1.00 1.26 10.24 0.00 4.51 0.00 1.39 -0.01

time (sec)

N/A 0.037 0.187 0.096 0.000 1.663 0.000 1.061 0.000

Problem 716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 72 727 0 323 61 71 61

N.S.

1 1.00 1.00 10.10 0.00 4.49 0.85 0.99 0.85

time (sec)

N/A 0.040 0.092 0.096 0.000 1.655 6.687 0.990 0.428

Problem 717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 99 733 0 442 0 107 -1

N.S.

1 1.00 1.25 9.28 0.00 5.59 0.00 1.35 -0.01

time (sec)

N/A 0.026 0.039 0.089 0.000 1.570 0.000 1.108 0.000

Problem 718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 106 773 0 959 94 110 2296

N.S.

1 1.00 0.99 7.22 0.00 8.96 0.88 1.03 21.46

time (sec)

N/A 0.077 0.254 0.097 0.000 1.643 6.954 0.771 0.818

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 127 779 0 560 0 152 -1

N.S.

1 1.00 1.02 6.28 0.00 4.52 0.00 1.23 -0.01

time (sec)

N/A 0.078 0.417 0.125 0.000 1.110 0.000 2.477 0.000

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 142 847 0 1291 0 172 2500

N.S.

1 1.00 0.91 5.43 0.00 8.28 0.00 1.10 16.03

time (sec)

N/A 0.152 0.391 0.135 0.000 2.271 0.000 1.283 1.213

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 175 847 0 706 0 275 -1

N.S.

1 1.00 0.99 4.81 0.00 4.01 0.00 1.56 -0.01

time (sec)

N/A 0.145 0.508 0.142 0.000 1.240 0.000 1.600 0.000

Problem 722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 115 1502 0 524 0 304 -1

N.S.

1 1.00 0.98 12.84 0.00 4.48 0.00 2.60 -0.01

time (sec)

N/A 0.075 0.373 0.098 0.000 1.855 0.000 1.423 0.000

Problem 723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 100 1409 0 535 0 127 110

N.S.

1 1.00 0.97 13.68 0.00 5.19 0.00 1.23 1.07

time (sec)

N/A 0.066 0.227 0.094 0.000 1.450 0.000 1.066 0.538

Problem 724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 122 1439 0 550 0 291 -1

N.S.

1 1.00 1.06 12.51 0.00 4.78 0.00 2.53 -0.01

time (sec)

N/A 0.059 0.379 0.091 0.000 1.377 0.000 0.961 0.000

Problem 725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 90 1390 0 511 85 118 103

N.S.

1 1.00 0.92 14.18 0.00 5.21 0.87 1.20 1.05

time (sec)

N/A 0.053 0.159 0.098 0.000 1.374 9.675 0.755 0.517

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 132 1396 0 764 0 321 -1

N.S.

1 1.00 1.08 11.44 0.00 6.26 0.00 2.63 -0.01

time (sec)

N/A 0.063 0.378 0.099 0.000 1.517 0.000 0.759 0.000

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 138 1455 0 1711 133 176 2500

N.S.

1 1.00 0.95 10.03 0.00 11.80 0.92 1.21 17.24

time (sec)

N/A 0.128 0.416 0.102 0.000 2.392 9.861 0.545 1.437

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 180 1463 0 934 0 366 -1

N.S.

1 1.00 1.01 8.22 0.00 5.25 0.00 2.06 -0.01

time (sec)

N/A 0.149 0.533 0.155 0.000 1.914 0.000 1.121 0.000

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 194 1548 0 2219 0 211 2500

N.S.

1 1.00 0.92 7.34 0.00 10.52 0.00 1.00 11.85

time (sec)

N/A 0.229 0.705 0.178 0.000 3.061 0.000 0.498 1.999

Problem 730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 245 233 1552 0 1128 0 490 -1

N.S.

1 1.00 0.95 6.33 0.00 4.60 0.00 2.00 -0.00

time (sec)

N/A 0.235 0.803 0.184 0.000 1.897 0.000 1.296 0.000

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 154 2002 0 1002 0 288 -1

N.S.

1 1.00 1.03 13.35 0.00 6.68 0.00 1.92 -0.01

time (sec)

N/A 0.115 0.721 0.135 0.000 1.880 0.000 0.688 0.000

Problem 732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 98 1959 0 436 0 101 102

N.S.

1 1.00 0.72 14.40 0.00 3.21 0.00 0.74 0.75

time (sec)

N/A 0.076 0.254 0.122 0.000 1.279 0.000 0.613 0.510

Problem 733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 138 1959 0 1069 0 251 -1

N.S.

1 1.00 1.15 16.32 0.00 8.91 0.00 2.09 -0.01

time (sec)

N/A 0.058 0.489 0.096 0.000 1.588 0.000 0.663 0.000

Problem 734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 80 1320 0 356 0 79 70

N.S.

1 1.00 1.00 16.50 0.00 4.45 0.00 0.99 0.88

time (sec)

N/A 0.042 0.166 0.094 0.000 1.165 0.000 0.516 0.443

Problem 735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 102 1965 0 369 0 218 -1

N.S.

1 1.00 1.24 23.96 0.00 4.50 0.00 2.66 -0.01

time (sec)

N/A 0.024 0.412 0.094 0.000 1.256 0.000 1.139 0.000

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 111 2001 0 1054 0 113 996

N.S.

1 1.00 0.93 16.82 0.00 8.86 0.00 0.95 8.37

time (sec)

N/A 0.077 0.502 0.101 0.000 1.249 0.000 0.511 0.638

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 123 2024 0 458 0 329 -1

N.S.

1 1.00 1.09 17.91 0.00 4.05 0.00 2.91 -0.01

time (sec)

N/A 0.074 0.430 0.129 0.000 1.401 0.000 1.232 0.000

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 132 2071 0 1043 0 183 1193

N.S.

1 1.00 0.83 13.03 0.00 6.56 0.00 1.15 7.50

time (sec)

N/A 0.145 0.558 0.150 0.000 1.694 0.000 0.503 0.951

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 154 2052 0 602 0 361 -1

N.S.

1 1.00 1.05 13.96 0.00 4.10 0.00 2.46 -0.01

time (sec)

N/A 0.130 0.681 0.128 0.000 1.572 0.000 1.307 0.000

Problem 740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 197 3440 0 1249 0 394 -1

N.S.

1 1.00 1.00 17.46 0.00 6.34 0.00 2.00 -0.01

time (sec)

N/A 0.221 0.608 0.150 0.000 1.500 0.000 0.540 0.000

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 125 3381 0 413 0 173 183

N.S.

1 1.00 0.77 20.74 0.00 2.53 0.00 1.06 1.12

time (sec)

N/A 0.095 0.296 0.128 0.000 1.430 0.000 0.542 0.560

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 160 3381 0 996 0 336 -1

N.S.

1 1.00 1.07 22.69 0.00 6.68 0.00 2.26 -0.01

time (sec)

N/A 0.112 0.563 0.135 0.000 1.591 0.000 0.619 0.000

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 96 2152 0 333 0 122 117

N.S.

1 1.00 0.97 21.74 0.00 3.36 0.00 1.23 1.18

time (sec)

N/A 0.057 0.255 0.122 0.000 1.402 0.000 0.568 0.514

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 148 3387 0 903 0 315 -1

N.S.

1 1.00 1.13 25.85 0.00 6.89 0.00 2.40 -0.01

time (sec)

N/A 0.060 0.523 0.098 0.000 1.756 0.000 0.496 0.000

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 122 3437 0 883 0 154 488

N.S.

1 1.00 0.95 26.64 0.00 6.84 0.00 1.19 3.78

time (sec)

N/A 0.098 0.399 0.104 0.000 1.286 0.000 0.515 0.626

Problem 746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 122 3462 0 351 0 412 -1

N.S.

1 1.00 0.95 27.05 0.00 2.74 0.00 3.22 -0.01

time (sec)

N/A 0.085 0.471 0.132 0.000 1.220 0.000 1.270 0.000

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 154 3521 0 1034 0 216 441

N.S.

1 1.00 0.91 20.71 0.00 6.08 0.00 1.27 2.59

time (sec)

N/A 0.172 0.669 0.146 0.000 1.386 0.000 0.534 0.957

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 151 3573 0 443 0 442 -1

N.S.

1 1.00 0.91 21.52 0.00 2.67 0.00 2.66 -0.01

time (sec)

N/A 0.160 0.479 0.128 0.000 1.366 0.000 1.346 0.000

Problem 749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

258 258 269 5359 0 1697 0 521 -1

N.S.

1 1.00 1.04 20.77 0.00 6.58 0.00 2.02 -0.00

time (sec)

N/A 0.300 0.921 0.142 0.000 4.734 0.000 0.598 0.000

Problem 750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 183 5284 0 573 0 264 276

N.S.

1 1.00 0.92 26.69 0.00 2.89 0.00 1.33 1.39

time (sec)

N/A 0.127 0.375 0.138 0.000 1.337 0.000 0.542 0.641

Problem 751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 221 5284 0 1379 0 446 -1

N.S.

1 1.00 1.13 27.10 0.00 7.07 0.00 2.29 -0.01

time (sec)

N/A 0.163 0.813 0.140 0.000 3.611 0.000 0.526 0.000

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 128 3224 0 453 0 197 172

N.S.

1 1.00 1.02 25.59 0.00 3.60 0.00 1.56 1.37

time (sec)

N/A 0.074 0.301 0.134 0.000 1.960 0.000 0.523 0.573

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 191 5290 0 1228 0 407 -1

N.S.

1 1.00 1.10 30.40 0.00 7.06 0.00 2.34 -0.01

time (sec)

N/A 0.144 0.623 0.158 0.000 2.095 0.000 0.517 0.000

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 146 5354 0 1132 0 206 1321

N.S.

1 1.00 0.91 33.46 0.00 7.08 0.00 1.29 8.26

time (sec)

N/A 0.146 0.326 0.100 0.000 3.167 0.000 0.495 0.700

Problem 755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 192 5381 0 1184 0 0 -1

N.S.

1 1.00 1.14 32.03 0.00 7.05 0.00 0.00 -0.01

time (sec)

N/A 0.121 0.601 0.133 0.000 1.725 0.000 0.000 0.000

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 160 5452 0 1266 0 283 1152

N.S.

1 1.00 0.89 30.29 0.00 7.03 0.00 1.57 6.40

time (sec)

N/A 0.180 0.485 0.158 0.000 2.499 0.000 0.515 1.080

Problem 757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 157 5508 0 483 0 496 -1

N.S.

1 1.00 0.89 31.30 0.00 2.74 0.00 2.82 -0.01

time (sec)

N/A 0.160 0.686 0.140 0.000 1.663 0.000 1.425 0.000

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 148 843 0 1053 0 284 -1

N.S.

1 1.00 1.12 6.39 0.00 7.98 0.00 2.15 -0.01

time (sec)

N/A 0.075 0.752 0.094 0.000 1.537 0.000 0.551 0.000

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 100 816 0 450 0 116 93

N.S.

1 1.00 1.01 8.24 0.00 4.55 0.00 1.17 0.94

time (sec)

N/A 0.058 0.233 0.093 0.000 1.829 0.000 0.523 0.501

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 109 816 0 418 0 231 -1

N.S.

1 1.00 1.22 9.17 0.00 4.70 0.00 2.60 -0.01

time (sec)

N/A 0.037 0.491 0.095 0.000 1.195 0.000 1.207 0.000

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 86 524 0 404 0 93 82

N.S.

1 1.00 0.99 6.02 0.00 4.64 0.00 1.07 0.94

time (sec)

N/A 0.046 0.172 0.093 0.000 1.257 0.000 0.720 0.435

Problem 762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 122 822 0 459 0 225 -1

N.S.

1 1.00 1.22 8.22 0.00 4.59 0.00 2.25 -0.01

time (sec)

N/A 0.036 0.043 0.086 0.000 1.328 0.000 0.522 0.000

Problem 763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 124 847 0 1037 0 138 3023

N.S.

1 1.00 0.95 6.52 0.00 7.98 0.00 1.06 23.25

time (sec)

N/A 0.091 0.369 0.099 0.000 1.845 0.000 0.559 1.071

Problem 764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 156 838 0 600 0 396 -1

N.S.

1 1.00 1.06 5.70 0.00 4.08 0.00 2.69 -0.01

time (sec)

N/A 0.089 0.735 0.115 0.000 1.533 0.000 1.252 0.000

Problem 765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 163 903 0 1407 0 257 2500

N.S.

1 1.00 0.88 4.88 0.00 7.61 0.00 1.39 13.51

time (sec)

N/A 0.163 0.750 0.139 0.000 2.233 0.000 0.547 1.579

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 199 885 0 758 0 375 -1

N.S.

1 1.00 0.97 4.30 0.00 3.68 0.00 1.82 -0.00

time (sec)

N/A 0.162 0.904 0.125 0.000 1.728 0.000 1.407 0.000

Problem 767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 126 1943 0 552 0 298 -1

N.S.

1 1.00 0.97 14.95 0.00 4.25 0.00 2.29 -0.01

time (sec)

N/A 0.066 0.681 0.101 0.000 1.324 0.000 1.280 0.000

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 110 1922 0 732 0 181 142

N.S.

1 1.00 0.82 14.34 0.00 5.46 0.00 1.35 1.06

time (sec)

N/A 0.079 0.322 0.094 0.000 1.610 0.000 0.526 0.620

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 133 1922 0 744 0 299 -1

N.S.

1 1.00 1.08 15.63 0.00 6.05 0.00 2.43 -0.01

time (sec)

N/A 0.062 0.592 0.094 0.000 1.981 0.000 1.249 0.000

Problem 770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 102 1203 0 537 0 153 130

N.S.

1 1.00 0.90 10.65 0.00 4.75 0.00 1.35 1.15

time (sec)

N/A 0.056 0.339 0.097 0.000 1.379 0.000 0.501 0.565

Problem 771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 154 1928 0 854 0 318 -1

N.S.

1 1.00 1.08 13.58 0.00 6.01 0.00 2.24 -0.01

time (sec)

N/A 0.072 0.585 0.090 0.000 1.700 0.000 1.226 0.000

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 157 1968 0 1992 0 225 2500

N.S.

1 1.00 0.92 11.58 0.00 11.72 0.00 1.32 14.71

time (sec)

N/A 0.150 0.768 0.099 0.000 3.548 0.000 0.559 1.897

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

205 205 216 1962 0 1018 0 554 -1

N.S.

1 1.00 1.05 9.57 0.00 4.97 0.00 2.70 -0.00

time (sec)

N/A 0.171 0.953 0.152 0.000 1.878 0.000 1.381 0.000

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

241 241 223 2042 0 2554 0 367 2500

N.S.

1 1.00 0.93 8.47 0.00 10.60 0.00 1.52 10.37

time (sec)

N/A 0.243 0.961 0.173 0.000 6.461 0.000 0.527 2.747

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

277 277 265 2032 0 1252 0 486 -1

N.S.

1 1.00 0.96 7.34 0.00 4.52 0.00 1.75 -0.00

time (sec)

N/A 0.265 1.447 0.200 0.000 1.996 0.000 1.534 0.000

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 176 3522 0 1008 0 594 -1

N.S.

1 1.00 1.01 20.24 0.00 5.79 0.00 3.41 -0.01

time (sec)

N/A 0.141 1.145 0.102 0.000 2.324 0.000 1.343 0.000

Problem 777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 154 3483 0 993 0 260 193

N.S.

1 1.00 0.91 20.49 0.00 5.84 0.00 1.53 1.14

time (sec)

N/A 0.113 0.472 0.099 0.000 1.436 0.000 0.683 0.794

Problem 778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 183 3483 0 1292 0 595 -1

N.S.

1 1.00 1.12 21.37 0.00 7.93 0.00 3.65 -0.01

time (sec)

N/A 0.106 1.025 0.100 0.000 2.747 0.000 1.454 0.000

Problem 779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 137 2101 0 895 0 226 171

N.S.

1 1.00 0.98 15.01 0.00 6.39 0.00 1.61 1.22

time (sec)

N/A 0.075 0.302 0.099 0.000 1.535 0.000 0.622 0.683

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 214 3489 0 1434 0 619 -1

N.S.

1 1.00 1.06 17.36 0.00 7.13 0.00 3.08 -0.00

time (sec)

N/A 0.149 1.164 0.097 0.000 2.826 0.000 1.305 0.000

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

225 225 215 3548 0 3403 0 298 2500

N.S.

1 1.00 0.96 15.77 0.00 15.12 0.00 1.32 11.11

time (sec)

N/A 0.243 0.749 0.160 0.000 9.203 0.000 1.122 2.936

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

279 279 287 3544 0 1662 0 938 -1

N.S.

1 1.00 1.03 12.70 0.00 5.96 0.00 3.36 -0.00

time (sec)

N/A 0.294 1.260 0.256 0.000 2.560 0.000 3.634 0.000

Problem 783

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

304 304 294 3641 0 4115 0 505 2500

N.S.

1 1.00 0.97 11.98 0.00 13.54 0.00 1.66 8.22

time (sec)

N/A 0.356 1.363 0.310 0.000 18.981 0.000 1.179 3.762

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

362 362 348 3635 0 1890 0 789 -1

N.S.

1 1.00 0.96 10.04 0.00 5.22 0.00 2.18 -0.00

time (sec)

N/A 0.405 1.741 0.349 0.000 4.008 0.000 4.539 0.000

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 110 276 0 94 97 0 -1

N.S.

1 1.00 0.52 1.30 0.00 0.44 0.46 0.00 -0.00

time (sec)

N/A 0.110 10.102 0.133 0.000 0.369 6.478 0.000 0.000

Problem 786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

337 337 93 414 0 80 95 0 -1

N.S.

1 1.00 0.28 1.23 0.00 0.24 0.28 0.00 -0.00

time (sec)

N/A 0.182 10.075 0.123 0.000 0.280 1.781 0.000 0.000

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 93 246 0 68 97 0 -1

N.S.

1 1.00 0.53 1.40 0.00 0.39 0.55 0.00 -0.01

time (sec)

N/A 0.076 10.047 0.106 0.000 0.398 1.853 0.000 0.000

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

333 333 96 391 0 67 100 0 -1

N.S.

1 1.00 0.29 1.17 0.00 0.20 0.30 0.00 -0.00

time (sec)

N/A 0.184 9.542 0.121 0.000 0.300 1.881 0.000 0.000

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 82 234 0 59 100 0 -1

N.S.

1 1.00 0.48 1.36 0.00 0.34 0.58 0.00 -0.01

time (sec)

N/A 0.075 9.819 0.118 0.000 0.373 3.829 0.000 0.000

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

338 338 95 417 0 74 107 0 -1

N.S.

1 1.00 0.28 1.23 0.00 0.22 0.32 0.00 -0.00

time (sec)

N/A 0.185 10.044 0.118 0.000 0.343 13.117 0.000 0.000

Problem 791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 79 242 0 67 97 0 -1

N.S.

1 1.00 0.52 1.59 0.00 0.44 0.64 0.00 -0.01

time (sec)

N/A 0.062 10.073 0.125 0.000 0.198 11.719 0.000 0.000

Problem 792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

331 331 80 439 0 99 100 0 -1

N.S.

1 1.00 0.24 1.33 0.00 0.30 0.30 0.00 -0.00

time (sec)

N/A 0.164 10.076 0.121 0.000 0.235 32.695 0.000 0.000

Problem 793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 80 270 0 92 100 0 -1

N.S.

1 1.00 0.43 1.44 0.00 0.49 0.53 0.00 -0.01

time (sec)

N/A 0.078 10.097 0.117 0.000 0.155 85.902 0.000 0.000

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

252 252 114 300 0 117 199 0 -1

N.S.

1 1.00 0.45 1.19 0.00 0.46 0.79 0.00 -0.00

time (sec)

N/A 0.117 10.126 0.102 0.000 0.305 13.916 0.000 0.000

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

377 377 97 438 0 105 197 0 -1

N.S.

1 1.00 0.26 1.16 0.00 0.28 0.52 0.00 -0.00

time (sec)

N/A 0.207 10.088 0.109 0.000 0.403 4.089 0.000 0.000

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 96 272 0 91 199 0 -1

N.S.

1 1.00 0.45 1.27 0.00 0.43 0.93 0.00 -0.00

time (sec)

N/A 0.091 10.067 0.112 0.000 0.268 4.613 0.000 0.000

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

367 367 84 421 0 90 202 0 -1

N.S.

1 1.00 0.23 1.15 0.00 0.25 0.55 0.00 -0.00

time (sec)

N/A 0.210 10.056 0.110 0.000 0.374 4.781 0.000 0.000

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 85 255 0 84 202 0 -1

N.S.

1 1.00 0.40 1.21 0.00 0.40 0.96 0.00 -0.00

time (sec)

N/A 0.096 10.056 0.116 0.000 0.261 6.955 0.000 0.000

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

365 365 84 422 0 79 212 0 -1

N.S.

1 1.00 0.23 1.16 0.00 0.22 0.58 0.00 -0.00

time (sec)

N/A 0.199 10.052 0.113 0.000 0.420 21.926 0.000 0.000

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

338 338 96 417 0 83 94 0 -1

N.S.

1 1.00 0.28 1.23 0.00 0.25 0.28 0.00 -0.00

time (sec)

N/A 0.178 10.102 0.109 0.000 0.390 14.890 0.000 0.000

[next] [prev] [prev-tail] [front] [up]